home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / macros / Interface / Toggle_Top_Docking_Area.bsh < prev   
Text File  |  2013-07-28  |  811b  |  37 lines
  1. /*
  2.  * Toggle_Top_Docking_Area.bsh - a BeanShell macro for the 
  3.  * jEdit text editor - Expands or collapses the top docking
  4.  * area, depending on it's current state.
  5.  *
  6.  * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
  7.  *
  8.  * $Id: Toggle_Top_Docking_Area.bsh 4906 2003-10-26 20:57:28Z spestov $
  9.  */
  10.  
  11. toggleTopDockingArea()
  12. {
  13.     dockarea = view.getDockableWindowManager().getTopDockingArea();
  14.     if(dockarea.getCurrent() == null)
  15.         dockarea.showMostRecent();
  16.     else
  17.         dockarea.show(null);
  18.     view.getTextArea().requestFocus();
  19. }
  20.  
  21. toggleTopDockingArea();
  22.  
  23. /*
  24.  
  25.     Macro index data (in DocBook format)
  26.  
  27. <listitem>
  28.     <para><filename>Toggle_Top_Docking_Area.bsh</filename></para>
  29.     <abstract><para>
  30.         Expands or collapses the top docking area, 
  31.         depending on it's current state.
  32.     </para></abstract>
  33. </listitem>
  34.  
  35. */
  36.  
  37.